To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions (...) of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

Organised into three sections covering the place of semantics in linguistics, the description of sentence and word meanings, and current theoretical approaches to semantics, this book is aimed at undergraduates as well as general readers.

The Enlightenment philosophy, particularly the ideas of Thomas Hobbes and his concepts surrounding the State and Society, serves as a philosophical foundation for numerous subsequent discussions in the fields of social and political sciences. Hobbes’ perspective on human nature and his portrayal of the natural state versus civilization are undeniably among the central tenets of modern thought. He characterizes humanity as the ‘wolf-man’ and underscores the necessity of a social contract-based civilized state to ensure security and safeguard collective interests. Hobbes (...) is primarily concerned with peace, and his political framework, rooted in a modern scientific sense, is designed with the explicit goal of establishing and preserving peace. In the natural state, where humanity exists in an uncivilized condition, each individual is self-interested and disconnected, resulting in a landscape fraught with danger and insecurity. However, a glimmer of hope arises from the fact that human awareness of this predicament serves as the very genesis of contemplation and thought directed towards salvation. The cornerstone of security in the natural state is the equality of all individuals within it. According to Hobbes, society does not represent the spontaneous formation of a fundamental condition for collective life but, rather, the conscious regulation of a potentially volatile state perpetually on the brink of conflict. Through surveys, Hobbes asserts that a majority of people within a society willingly delegate their power and authority to an individual or a group, enabling them to consolidate the various wills into a unified collective will through a voting process. This article aims to explore a fundamental shift in ethics as we transition from classical ethics centered around ‘good’ to modern social ethics founded on ‘security’ and ‘stability.’. (shrink)

BackgroundGenetic disorders due to kindred marriages are common medical conditions in Iran; however, the legal aspects of abortion remain controversial. This study was undertaken to determine physicians' opinions regarding the termination of pregnancy for three genetic diseases: thalassemia major, hemophilia, and Down's syndrome.MethodsA questionnaire was administered to selected physicians by stratified random sampling to determine the following: age, gender, knowledge about prenatal diagnosis of diseases in high risk pregnancies, agreement with abortion, recommended gestational age for abortion, and, if opposed to (...) abortion, the reason.ResultsOf 323 physicians, who participated in the study, 91.3(295), 40.6(131), and 78.6%(254) were in agreement and 8.7(28), 59.4(192), and 21.4%(69) were opposed to abortion for thalassemia major, hemophilia, and Down's syndrome, respectively. Among 289 physicians opposed to abortion in respect of each of all three conditions, the following reasons were cited: religion, 18; emotional, 10; quality of care, 23; hope to find a new treatment option in the future, 103; miscellaneous reasons, 6; and a combination of these reasons, 129. Among 680 physicians in agreement with abortion in relation to all of the diseases, 4.6%(31) were agreed with abortion in less than 12 weeks gestation, 79.2%(538) in less than 16 weeks gestation, 5.6%(38) in less than 20 weeks gestation, 2.2%(15) in less than 24 weeks gestation, and 8.4%(58) were agreed with beyond the 24 weeks of gestational age.ConclusionThe majority of physicians were in agreement with abortion for thalassemia major and Down's syndrome because of the overall prognosis, but opposed to abortion for hemophilia. (shrink)

Managing non-communicable diseases in crisis-affected and fragile humanitarian contexts requires special attention because primary health care systems often collapse or become compromised in such settings. As a result, addressing and managing these diseases become more challenging. Humanitarian organizations that intervene in crisis situations are increasingly including NCD management in the services they support and provide; however, they encounter a range of issues such as ensuring the quality of care, sustainability of programs, and the possibility of unintended harms. This case study (...) explores ethical considerations raised by a mobile NCD program run by an international humanitarian organization in a country affected by a protracted civil war. (shrink)

This book on Philosophy for Children is a compilation of articles written by its founders and the movement's leaders worldwide. These articles have been prepared in the dialogue and interview format. Part I explains the genesis of the movement, its philosophical and theoretical foundations. Part II examines the specialized uses of philosophical dialogues in teaching philosophy, morality, ethics and sciences. Part III examines the theoretical concerns such as the aims of the method in regards to the search for truth or (...) sense of meaning, or the debate on the novel or short stories and its characteristics. Part IV explains the practices of P4C worldwide and the issue of cultural differences, the ways of the community of inquiry and the necessary adaptation to suit local concerns. The book concludes with a notable review of the progress of P4C, the obstacles, and its international spread to over 60 countries. These penetrating insights make the book an incredibly rich resource for anyone interested in or involved with implementing a P4C programme. Brave Old Subject, Brave New World Teaching Science and Morality Via P4C Showing Children can do Philosophy. (shrink)

Pessimistic meta-induction is a powerful argument against scientific realism, so one of the major roles for advocates of scientific realism will be trying their best to give a sustained response to this argument. On the other hand, it is also alleged that structural realism is the most plausible form of scientific realism; therefore, the plausibility of scientific realism is threatened unless one is given the explicit form of a structural continuity and minimal structural preservation for all our current theories. This (...) essay aims to present what we call expansive structures, which are the structures that can be reconstructed from geometrized Newtonian gravitation and are capable of expanding into general relativity, explicitly. In this way, pessimistic meta-induction will be undermined. (shrink)

The proofs of Kleene, Chaitin and Boolos for Gödel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incompleteness theorem has the Rosser property when the independence of the true but unprovable sentence can be shown by assuming only the (simple) consistency of the theory. It is known that Gödel's own proof for his incompleteness theorem does not have the Rosser property, and we show that neither do Kleene's or Boolos' proofs. (...) However, we show that a variant of Chaitin's proof can have the Rosser property. The proofs of Gödel, Rosser and Kleene are constructive in the sense that they explicitly construct, by algorithmic ways, the independent sentence(s) from the theory. We show that the proofs of Chaitin and Boolos are not constructive, and they prove only the mere existence of the independent sentences. (shrink)

A cornerstone of modern mathematical logic is the diagonal lemma of Gödel and Carnap. It is used in e.g. the classical proofs of the theorems of Gödel, Rosser and Tarski. From its first explication in 1934, just essentially one proof has appeared for the diagonal lemma in the literature; a proof that is so tricky and hard to relate that many authors have tried to avoid the lemma altogether. As a result, some so called diagonal-free proofs have been given for (...) the above mentioned fundamental theorems of logic. In this paper, we provide new proofs for the semantic formulation of the diagonal lemma, and for a weak version of the syntactic formulation of it. (shrink)

Using multisource data and multilevel analysis, we propose that the ethical stance of supervisors influences subordinates’ perceptions of corporate social responsibility which in turn influences subordinates’ trust in the organization resulting in their taking increased personal social responsibility and engagement in organizational citizenship behaviors oriented toward both the organization and other individuals. Using a multilevel model, we assessed the extent to which ethical leadership and CSR at the work unit level impacts subordinates’ behaviors mediated by organizational trust at the individual (...) level. We employed a sample of 71 work unit supervisors and 308 subordinates from five businesses of a conglomerate company located in mainland China. Subordinates were asked to rate supervisory ethical leadership practices, CSR, and their extent of organizational trust. Supervisors were asked to rate the personal social responsibility taking and OCB of their respective subordinates. A multilevel path analysis revealed that ethical leadership has a positive effect on CSR at the work unit level and that CSR has a positive cross-level effect on organizational trust at the individual level, which in turn significantly and positively impacts OCB through the mediating effect of taking personal social responsibility. Results are discussed in the context of China’s manufacturing sector. (shrink)

The present book contains a number of articles dipicting religion in the present age, a re-telling of Bīzhan ʻAbd al-Karīmī's account of religion, Iran.

The question that arises in this article is whether we can find elements of phenomenology in Bernard Lonergan’s Trinitarian theology.With help of other Lonergan scholars, I have discovered that modern thinking plays an important role in the theology and philosophy ofthis Jesuit author. Moreover, the terminology of modern philosophy coexists with the terminology of classical and especially Tomisticthought. This article is interested in the elements that Lonergan takes from the modern philosophy and emphasizes the centrality ofHusserlian phenomenology among the other (...) modern authors used by Lonergan. Following the research of the Jesuit thinker, I speakabout two parallel realities coexisting in his Trinitarian theology. Lonergan tries to realize their synthesis, but at the same time healso recognizes their distinctiveness. The most relevant result of this coexistence is obtained through the replacement of the metaphysical differentiation between the level of substance and the level of the three Persons, so that, instead of having the elements of classical theology, Lonergan predicates at the same time that God subsists as well as the Trinitarian Persons subsist. Through this assertion he emphasizes the identity between God’s existence and the existence of the three divine Persons, and eliminates the classical differentiation that might be closer to the danger of subordinating the three Persons to the one God. (shrink)

One of the main goals of assignments in the academic environment is to assess the students’ knowledge and mastery of a specific topic, and it is crucial to ensure that the work is original and has been solely made by the students to assess their competence acquisition. Therefore, Text-Matching Software Products are used by academic institutes to ensure academic integrity and address plagiarism. However, some students find ways to trick TMSPS. In this paper, files with the common tricks students do (...) to beat TMSPS have been created and investigates with nine academic level TMPS to evaluate their effectiveness against these tricks, identifying the strengths and weaknesses of each TMSP, and providing instructors with some practical tips on checking plagiarism effectively and spotting any tricks to cheat without getting noticed. (shrink)

This study linked background TV and socioeconomic status to minority children’s Persian vocabulary development. To this end, 80 Iranian preschool children from two minority groups of Arabs and Turks were selected using stratified random sampling. They were simultaneous bilinguals, i.e., their mother tongue was either Arabic or Azari and their first language was Persian. Language sample analysis was used to measure vocabulary development through a 15-min interview by language experts. The LSA measures included total number of utterances, total number of (...) words, total number of new words, and mean length of utterance. A series of independent-samples t test, paired-samples t test, and repeated measures MANOVA tests were ran to examine data. Results showed significant improvements in children’s vocabulary scores from pretest to posttest for all children. In addition, high-SES children scored higher on the vocabulary measures in pretest and posttest. Moreover, background TV was associated with higher means in the TNW and the NDW in groups. The researchers concluded that background TV may be related to higher vocabulary scores in low-SES families as it may compensate for some linguistics gaps in these families including lower amount of child-parent interaction, play, and parents’ level of literacy. (shrink)

The data with the advancement of information technology are increasing on daily basis. The data mining technique has been applied to various fields. The complexity and execution time are the major factors viewed in existing data mining techniques. With the rapid development of database technology, many data storage increases, and data mining technology has become more and more important and expanded to various fields in recent years. Association rule mining is the most active research technique of data mining. Data mining (...) technology is used for potentially useful information extraction and knowledge from big data sets. The results demonstrate that the precision ratio of the presented technique is high comparable to other existing techniques with the same recall rate, i.e., the R-tree algorithm. The proposed technique by the mining effectively controls the noise data, and the precision rate is also kept very high, which indicates the highest accuracy of the technique. This article makes a systematic and detailed analysis of data mining technology by using the Apriori algorithm. (shrink)

The capacity to classify social groups legally is a central characteristic of modern states. Social groups, however, often resist the classificatory schemas of the state. This raises the following question: how do modern states exercise symbolic power in social fields beset by acute classification struggles? While existing scholarship has demonstrated that states exercise symbolic power, there has not been a concomitant effort to systematize and theorize the various strategies through which they do so. This article addresses this lacuna through examining (...) classification struggles centered on a number of “heterodox” religious groups that have historically been perceived as deviant from mainstream religions. Specifically, it looks at Falun Gong in China, Mormons in the United States, and Baha’is in Egypt. The analysis draws attention to three strategies through which states exercise symbolic power: coercive classification, wherein the deviant group is forcibly fixed as such in law; juridical normalization, whereby the deviant group is allowed to enter the mainstream by shedding “problematic” ritual practices; and legal erasure, whereby the deviant group is kept out of the official classificatory system so that it becomes a legal non-entity. In summary, this article both identifies the religious field as a critical domain in which states of various ideological orientations exercise symbolic power and deploys this analysis to identify distinct strategies through which they do so. (shrink)

Respect for human dignity is a basic and crucial component of nursing care. Illness with restricted physical ability and being confined to bed can compromise the dignity of patients. The views of adolescents regarding dignity in care have not previously been researched. This article details a descriptive-analytic study in which survey data was collected from all nurses and compared with a convenience sample of 180 hospitalized adolescents in two hospitals in Iran. The data was analyzed with SPSS software. A significant (...) difference between nurses and hospitalized ill adolescents’ perceptions was identified in relation to: understanding the importance of privacy (p < 0.001); observance of privacy (p < 0.001); importance of interaction between nurses and patients (p = 0.019); and the observance of interaction between nurses and patients (p < 0.001). Attention to adolescents’ views about dignity can help nurses to improve quality of care for this group. (shrink)

It is shown that all the provably total functions of Basic Arithmetic BA, a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind of primitive recursive realizability to which BA is sound, is introduced. This realizability is similar to Kleene's recursive realizability, except that recursive functions are restricted to primitive recursives.

A nonlinear differential equation model is proposed to study the dynamics of HIV/AIDS and its effects on workforce productivity. The disease-free equilibrium point of the model is shown to be locally asymptotically stable when the associated basic reproduction number $$\mathcal{{R}}_{0}$$ is less than unity. The model is also shown to exhibit multiple endemic states for some parameter values when $$\mathcal{{R}}_{0} 1$$. Global asymptotic stability of the disease-free equilibrium is guaranteed only when the fractions of the Susceptible subclass populations are within (...) some bounds. Optimal control analysis of the model revealed that the most cost effective strategy that should be adopted in the fight against HIV/AIDS spread within the workforce is one that seeks to prevent infections and the treatment of infected individuals. (shrink)

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

Neonatal brain monitoring in the neonatal intensive care units (NICU) requires a continuous review of the spontaneous cortical activity, i.e., the electroencephalograph (EEG) background activity. This needs development of bedside methods for an automated assessment of the EEG background activity. In this paper, we present development of the key components of a neonatal EEG background classifier, starting from the visual background scoring to classifier design, and finally to possible bedside visualization of the classifier results. A dataset with 13,200 5-minute EEG (...) epochs (8–16 channels) from 27 infants with birth asphyxia was used for classifier training after scoring by two independent experts. We tested three classifier designs based on 98 computational features, and their performance was assessed with respect to scoring system, pre- and post-processing of labels and outputs, choice of channels, and visualization in monitor displays. The optimal solution achieved an overall classification accuracy of 97% with a range across subjects of 81–100%. We identified a set of 23 features that make the classifier highly robust to the choice of channels and missing data due to artefact rejection. Our results showed that an automated bedside classifier of EEG background is achievable, and we publish the full classifier algorithm to allow further clinical replication and validation studies. (shrink)

To investigate the effect of philosophical thinking on the development of reasoning skills and behavioral performance among Iranian primary school students, we conducted a qualitative method study with ten fourth grade students (including boys and girls)selected from different primary schools in Tehran1. We also study the reactions of children and their parents to this new method of education, which thoroughly differs from the method practiced in our schools now. This study was carried out in the Institute for Humanities and Cultural (...) Studies, as an extra class once a week for twenty sessions. Data collection strategies of this study including the authors’ observations during sessions, children’s parents’ observations and reports, and interviews with children and their parents. Our research result shows that reasoning skills enhance communication skills by enabling children to express their ideas more persuasively. We also found that children act more confidently and independently. (shrink)

We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...) informal argument plays no rôle in Gödel’s technical results. Going deeper into the issue and investigating truth conditions of Gödelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Gödelian sentences of systems—a debate which goes back to Dummett (1963). (shrink)

Kant has explained his view on modality and modal concepts in general in different sections of the Critique of Pure Reason such as the "Metaphysical Deduction", "Schematism", and the "Postulates". However, he discusses the issue of existence in particular mainly under the topic of "The Impossibility of an Ontological Proof of the Existence of God." The proof—known as the "ontological argument"—was first presented by St. Anselm and later revised by Descartes, Leibniz, and contemporary philosophers like Norman Malcolm and Alvin Plantinga. (...) Kant's view on existence, however, seems to lead to some problems. In the present essay two of these... (shrink)

This study examined the influence of ethical leadership on knowledge sharing, the mediating role of psychological ownership, and the moderating effect of professional commitment between ethical leadership and knowledge sharing. Data were collected from 307 public listed Pakistani companies’ employees. Statistical analyses were performed by using SPSS Version 25 and AMOS version 22. The findings indicate a positive relationship between EL and KS behavior. Additionally, the impact of EL on KS was partially mediated by psychological ownership. Furthermore, professional commitment buffers (...) the link between EL and KS. This study contributes to the body of knowledge in the field of leadership by confirming the role of ethics. The results show that ethical leaders develop employee attitudes that contribute to employee KS behavior. Ethical leaders create and encourage a learning culture to enhance organizational performance. This study adds to the little data on the positive impact of EL on listed company’s employees and addresses the gaps in previous studies on the role of EL in changing environments. In addition, professional commitment as a moderator has not been previously investigated with ethical leadership antecedents. (shrink)

Building on social information processing theory and social exchange theory, this research advances the emerging concept of work engagement and inclusive leadership. Surprisingly, there is no study linking work engagement and inclusive leadership style in the setting of multiple organizations in China. The main purpose of this study is to identify the effective leadership style affecting work engagement directly and indirectly through psychological safety. The trust in leader further moderated the direct relationships. Using multi-source data of 390 responses from leaders-subordinates (...) dyads working in 20 Chinese companies (which include textile, manufacturing, construction, and trading), this study tested how inclusive leadership increased the work engagement of their subsequent subordinates. The mediating role of psychological safety and moderating role of trust in leader therein. The findings introduced an interactive motivational framework that revealed the positive influence of inclusive leadership on the work engagement of subordinates. Further, psychological safety mediated the direct relationship between inclusive leaders and work engagement. The role of trust in leader strengthened the direct relationship of inclusive leadership with psychological safety and work engagement. This is among the first studies to integrate inclusive leadership, psychological safety, trust in leader, and work engagement into a single interactive framework. Further, it provides empirical evidence in the context of predicting and increasing the work engagement of subordinates. (shrink)

In this paper I argue that relaxed realism can answer questions about normative language and thought without collapsing into one of the familiar views in the literature or becoming implausible. More specifically, contrary to Michael Ridge, I argue that relaxed realists can use an inferentialist approach to metasemantics without their view collapsing into naturalism or quasi-realism. The inferentialist account that I propose is that the role of normative expressions involves language-entry transitions construed as rational intuitions and language-exit transitions explained in (...) terms of rational agency. I argue that this account fits with relaxed realism and keeps the view distinct from naturalism, quasi-realism, and other familiar views in the literature. (shrink)

Shyness affects and influences the performance of the learners at school and college level. There are different correlates and reasons of shyness. Zimbardo states that Shyness is a vague concept which has many interpretations and definitions. One definition which is very renowned is that “The person, male or female, who is nervous, worried, and uncomfortable in the gathering or presence of others, is called shy”. The objectives of this research study were as: to investigate the relationship of schooling system with (...) shyness to investigate the relationship of residential locality with shyness to check relationship of Socio- Economic status with shyness To rank the correlates of shyness. Overall 252 students from graduation of Indus group of Colleges from Rawalpindi and Islamabad were the population of the study and 42 students were selected through simple random sampling technique as a sample for the study. The researcher got the data with the help of personal visits to the colleges. Questionnaire for measuring shyness was used by the researcher for this research study1. Another self developed questionnaire or instrument was used to know the correlates of shyness. Chisquare test of independence was used for data analysis. The results of the study showed that shyness depended upon these correlates of shyness as residential locality Schooling system socio-economic status of the learners. Shyness depends upon above mentioned correlates. In order to remove this problem of shyness, some steps should be taken as learners or students may not be blamed or punished without any reason. Learners should be encouraged and motivated. (shrink)

Work on essence of Advaita Vedanta philosophy.

This paper undertakes a political sociology of religious sentiments by examining how social actors seek to make their religious sentiments legible and authoritative within structures of modern state governance. It argues that a central dimension of religious politics consists of struggles over constituting hegemonic and common sense religious sentiments through drawing on the secular powers of the modern state. This politics entails contestations over how citizens ought to feel, and how the state ought to authorize certain religious sentiments, with respect (...) to socially resonant religious issues and events. Drawing on concrete historical episodes from colonial India and postcolonial Pakistan that allow a problematization of ‘religious sentiments of Muslims' in relation to the controversial religious views of the reformist Ahmadiyya movement, this paper further demonstrates the elasticity of the modern state to accommodate and embed a range of religious sensibilities, affects and emotive responses through legal arguments about public order. (shrink)

In his commentary on the Mencius 6A : 15 passage "the organ of the heartmind is thinking," Zhu Xi writes: "The heart-mind is capable of thinking and this thinking is its functional role ".1 The heart-mind is also said to "possess a multitude of li and respond to ten-thousand events ". Zhu Xi regularly associates this heart-mind as "thinking" that "responds to ten-thousand events" with a special process he refers to as "zhijue" 知覺. For instance, he explains that "the heart-mind (...) is our zhijue, which presides over the body and responds to thing-events " (Zhuzi wenji... (shrink)

We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".

This research aimed to investigate the status of children-specific metadata elements in theory (existing literature) and practice (metadata standards and children’s digital libraries). Literature reviews as well as two cases, including children’s online national libraries of Iran, and Singapore, are used to identify children-specific metadata elements and their application. The results revealed that descriptive metadata types had been mentioned more than analytical, social, and relational types; the DCMI metadata standard, besides LOM and ALTO metadata standards, can be used to develop (...) an application profile for children’s library catalogs. Two cases showed that they partially cover children-specific metadata elements, and neither has covered relational metadata elements. A deeper analysis of the children-specific metadata elements suggests that children’s catalogs should be semantic and social. The results of this study can be insightful for children’s book catalogers and children’s book publishers (for marketing purposes). (shrink)

This article examines Martin Luther’s view of Natural theology and natural knowledge of God. Luther research has often taken a negative stance towards a possibility of Natural theology in Luther’s thought. I argue, that one actually finds from Luther’s texts a limited area of the natural knowledge of God. This knowledge pertains to the existence of God as necessary and as Creator, but not to what God is concretely. Luther appears to think that the natural knowledge of God is limited (...) because of the relation between God and the Universe only one side is known by natural capacities. Scholastic Theology built on Aristotelianism errs, according to Luther, when it uses created reality as the paradigm for thinking about God. Direct experiential knowledge of the divinity, given by faith, is required to comprehend the divine being. Luther’s criticism of Natural theology, however, does not appear to rise from a general rejection of metaphysics, but from that Luther follows certain ideas of Medieval Augustinian Platonism, such as a stark ontological differentiation between finite and infinite things, as well as the idea of divine uniting contradictions. Thus the conflict between faith and reason on Luther seems to be explicable at least in part as a conflict between two different ontological systems, which follow different paradigms of rationality. (shrink)

Gödel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [Herbrand consistency and bounded arithmetic, Fundamenta Mathematical vol. 171 (2002), pp. 279-292]. In that paper, it was shown that one cannot always shrink the witness of a bounded formula logarithmically, but in the presence of Herbrand consistency, for theories I∆₀+ Ωm, with m ≥ 2, any witness for any (...) bounded formula can be shortened logarithmically. This immediately implies the unprovability of Herbrand consistency of a theory T ⊇ I∆₀ + Ω₂ in t itself. In this paper, the above results are generalized for I∆₀ + Ω₁. Also after tailoring the definition of Herbrand consistency for I∆₀ we prove the corresponding theorems for I∆₀. Thus the Herbrand version of Gödel's second incompleteness theorem follows for the theories I∆₀ + Ω₁ and I∆₀. (shrink)

We investigate the impact of women shareholders on corporate social responsibility (CSR) and how they interact with women directors to exert a greater influence on CSR activities. Little is known about how women's ownership can enhance their roles in CSR practices. Based on data from Omani-listed firms during 2016–2020 and using CSR budgeting and spending as proxies for CSR activities, firms with women shareholders allocate more CSR budgeting and spend more money on CSR activities. However, we also find that women (...) directors can only affect CSR budgeting and spending if their representation on the board is increased. Furthermore, we find that firms with women shareholders and directors have higher CSR budgeting and spending. Further analysis reveals that women shareholders are more likely to spend money on CSR activities within the budgeted amount and are less likely to be associated with gaps between CSR budgeting and spending. This analysis also shows that the type of ownership (family versus non-family) influences women shareholders' effects on CSR budgeting and spending. Our empirical findings provide critical insights into how woman shareholders influence CSR actions. (shrink)

The integration of issues related to sustainability in management curricula is a subject of growing interest, especially as organizations – businesses and universities alike – are urged to take their share of responsibilities in the face of crises and need to deeply transform our lifestyles towards a more sustainable world. This article’s purpose is to explore the challenges and opportunities of integrating sustainability issues in business schools’ curricula. The conceptual argument developed in the article leads us to suggest that the (...) integration of sustainability in management schools could be conceptualized as a trajectory of continuous improvement over time. (shrink)